全文获取类型
收费全文 | 2347篇 |
免费 | 56篇 |
国内免费 | 172篇 |
专业分类
系统科学 | 173篇 |
丛书文集 | 76篇 |
教育与普及 | 13篇 |
理论与方法论 | 62篇 |
现状及发展 | 14篇 |
综合类 | 2237篇 |
出版年
2024年 | 2篇 |
2023年 | 4篇 |
2022年 | 10篇 |
2021年 | 13篇 |
2020年 | 17篇 |
2019年 | 9篇 |
2018年 | 13篇 |
2017年 | 18篇 |
2016年 | 24篇 |
2015年 | 43篇 |
2014年 | 77篇 |
2013年 | 78篇 |
2012年 | 119篇 |
2011年 | 134篇 |
2010年 | 116篇 |
2009年 | 104篇 |
2008年 | 130篇 |
2007年 | 199篇 |
2006年 | 166篇 |
2005年 | 198篇 |
2004年 | 146篇 |
2003年 | 142篇 |
2002年 | 127篇 |
2001年 | 96篇 |
2000年 | 92篇 |
1999年 | 73篇 |
1998年 | 62篇 |
1997年 | 66篇 |
1996年 | 55篇 |
1995年 | 56篇 |
1994年 | 39篇 |
1993年 | 24篇 |
1992年 | 33篇 |
1991年 | 28篇 |
1990年 | 22篇 |
1989年 | 18篇 |
1988年 | 9篇 |
1987年 | 8篇 |
1986年 | 5篇 |
排序方式: 共有2575条查询结果,搜索用时 15 毫秒
21.
刘建元 《陕西师范大学学报(自然科学版)》2002,30(2):55-58
依据有序二叉判定图(OBDD)和计算树逻辑(或称分支时态逻辑)CTL(Computational Tree Logic)的基本原理,分析了基于OBDD和CTL的验证数据电路设计的基本原理,并在此基础上,给出了时序电路等价验证的方法。 相似文献
22.
从量子力学的基本原理出发,阐述了利用核磁共振进行量子计算的实验方法,澄清了有关文献中若干容易混淆而又十分重要的概念,并进一步报道CNOT门操作的实验方法和结果.实验结果与理论的预言一致. 相似文献
23.
基于J2EE体系结构实现网上购物系统 总被引:5,自引:0,他引:5
J2 EE体系结构采用组件的思想 ,将业务逻辑层从客户、服务器端独立出来 ,从而带来开发、使用和维护的便利 .在分析的基础上 ,给出了一个网上购物系统的设计模型和实现方法 . 相似文献
24.
作为实用主义的鼻祖,皮尔士首先和主要是一位逻辑学家.他的实用主义从根本上讲是一种逻辑学说,要求从逻辑学理论上对其进行解读.审视科学实用主义同逻辑学的内在的、历史的联系及其形而上的蕴含,可以更清晰地认识实用主义理论的本真意义. 相似文献
25.
26.
通过对操作系统启动过程的深入研究,在WINDOWS98 DOS状态下,对当前大容量硬盘主引导扇区的引导过程进行了全面的剖析,导出扩展INT 13H读取大容量硬盘逻辑扇区的方法,这将对大容量硬盘的管理与维护十分有利。 相似文献
27.
28.
采用在系统可编程逻辑器件实现HDB3编解码 总被引:1,自引:0,他引:1
杨静 《北京联合大学学报(自然科学版)》1998,12(1):76-81
在系统可编程技术是通信专用集成电路设计的一种最新设计方法,它使得数字电路设计、生产良生革命性的变化。 相似文献
29.
遗传算法对模糊控制的优化及其应用 总被引:11,自引:0,他引:11
为了使模糊控制器具有自学习能力,本文将遗传算法与模糊控制相结合,提出了使用遗传算法对模糊子集进行划分的优化方法,并根据模糊控制的特点,给出了改进的编码方法和交叉算子,加快了算法的收敛速度.应用该方法对锅炉过热汽温进行了仿真研究,结果表明本文提出的基于遗传算法的模糊控制优化方法是很有效的. 相似文献
30.
实代数数的代数表达式的符号判定 总被引:2,自引:0,他引:2
将符号计算方法与数值计算方法结合起来应用于计算机代数领域,构造了一种判定实代数数的代数表达式的符号的算法,并在计算机数学系统上加以实现,算法的基本思想是对每一个实代数数a定义了一个二元组(I,f(x)),其中I是包含a的区间,f(x)是a所满足的多项式,并将代数数的运算转化为对应的二元组的运算,同时结合多项式的根的最短距离估计式,从而达到对代数数的代数表达式进行符号判定的目的。 相似文献